Algebraic Techniques for the Optimization of Control Flow Checking
نویسندگان
چکیده
منابع مشابه
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical systems to examine how a biochemical hybrid dynamical system can be made amenable to temporal analysis, even when the initial conditions and unknown parameters may only be treated as symbolic variables. This paper examine...
متن کاملMulti-objective optimization of nanofluid flow in microchannel heat sinks with triangular ribs using CFD and genetic algorithms
Abstract In this paper, multi-objective optimization (MOO) of Al2O3-water nanofluid flow in microchannel heat sinks (MCHS) with triangular ribs is performed using Computational Fluid Dynamics (CFD) techniques and Non-dominated Sorting Genetic Algorithms (NSGA II). At first, nanofluid flow is solved numerically in various MCHS with triangular ribs using CFD techniques. Finally, the CFD data will...
متن کاملVerification of Vortex Workflows
Vortex is a workflow language to support decision making activities. It centers around gathering and computing attributes of input objects. The semantics of Vortex is declarative, and the dependency graphs of Vortex programs are acyclic. This paper discusses the application of symbolic model checking techniques to verification of Vortex programs. As a case study we used a Vortex program MIHU fo...
متن کاملNumerical solution of higher index DAEs using their IAE's structure: Trajectory-prescribed path control problem and simple pendulum
In this paper, we solve higher index differential algebraic equations (DAEs) by transforming them into integral algebraic equations (IAEs). We apply collocation methods on continuous piece-wise polynomials space to solve the obtained higher index IAEs. The efficiency of the given method is improved by using a recursive formula for computing the integral part. Finally, we apply the obtained algo...
متن کاملCompliance Checking of Data-Aware and Resource-Aware Compliance Requirements
Compliance checking is gaining importance as today’s organizations need to show that their business practices are in accordance with predefined (legal) requirements. Current compliance checking techniques are mostly focused on checking the control-flow perspective of business processes. This paper presents an approach for checking the compliance of observed process executions taking into accoun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996